COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	% TOOLS.SLI[F89,JMC]	Tools for formalizing common sense
C00004 ENDMK
C⊗;
% TOOLS.SLI[F89,JMC]	Tools for formalizing common sense
\input slide2.tex[1,jmc]
\bigskip
\centerline{TOOLS FOR COMPUTERIZED COMMON SENSE REASONING}
\bigskip
%
\itemb Mathematical Logic
%
\itemb Proper Philosophical Attitude?
%
\itemxx The epistemology must apply to robots as well as people.
%
\itemxx The world, general theories of it and specific facts
%
\itemxx Systems considered with one or only a few mental qualities
%
\itemxx Use of limited formalisms and theories
%
\itemxx Positive information about limited theories
%
\itemb Situation Calculus and its competitors, e.g. event calculus
%
\itemb Formalization of Facts about Knowledge and Belief
%
\itemb Formalized Nonmonotonic Reasoning
%
\itemb Formalization of Contexts
%
\itemb Interactive Theorem Provers
\vfill\end